Critical Section aware Immediate Ceiling Priority Protocol with Dynamic Frequency Scaling
نویسندگان
چکیده
منابع مشابه
A Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order
The difficulties of providing a guarantee of meeting transaction deadlines in hard real-time database systems lie in the problems of priority inversion and of deadlocks. Priority inversion and deadlock problems ensue when concurrency control protocols are adapted in priority-driven scheduling. The blocking delay due to priority inversion can be unbounded, which is unacceptable in the mission-cr...
متن کاملFormal Analysis of the Priority Ceiling Protocol
We present a case study in formal specification and toolassisted verification of real-time schedulers, based on the priority ceiling protocol. Starting from operational specifications of the protocol, we obtain rigorous proofs of both synchronization and timing properties, and we derive a schedulability result for sporadic tasks.
متن کاملThe Priority Ceiling Protocol: Formalization and Analysis Using PVS∗
Common real-time operating systems rely on priority-based, preemptive scheduling. Resource sharing in such systems potentially leads to priority inversion: processes of high priority can be prevented from entering a critical section and be delayed by processes of lower priority. Since uncontrolled priority inversion can cause high-priority processes to miss their deadlines, a real-time operatin...
متن کاملEnergy-Efficient Improved Priority Ceiling Protocol for Real Time System
Minimization of energy consumption in the battery operated system is become a major issue. Most of the real-time systems consist of a battery operated microprocessor system with a limited battery life. So, energy consumption is becoming a critical issue in the design of embedded systems because of the popularity of portable devices such as mobile devices and personal digital assistants. In this...
متن کاملEnergy-Aware Scheduling using Dynamic Voltage-Frequency Scaling
The energy consumption issue in distributed computing systems has become quite critical due to environmental concerns. In response to this, many energy-aware scheduling algorithms have been developed primarily by using the dynamic voltage-frequency scaling (DVFS) capability incorporated in recent commodity processors. The majority of these algorithms involve two passes: schedule generation and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indian Journal of Science and Technology
سال: 2016
ISSN: 0974-5645,0974-6846
DOI: 10.17485/ijst/2016/v9i30/99037